『Generating optimal monitors for extended regular expressions』